iterative deepening search in artificial intelligence